The relation R is reflexive